Two small parallel programming exercises

AbstractThe aim of the present article is to show how parallel programs can be derived from functional specifications. Each program consists of the parallel composition of a number of instances of a single parameterised process. The formulation of parameterised invariants is the central issue in the derivations